81. Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
9
.
F67
.
I577
1999
82. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
پدیدآورنده : Joost-Pieter Katoen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
L28
Vol
.
1601
83. Formal methods for software architectures :Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Real-time data processing,Congresses ، Formal methods )Computer science(,Congresses ، Computer systems,Congresses ، Computer software
رده :
QA
76
.
754
.
F67
2003
84. Formal methods: foundations and applications
پدیدآورنده : Jim Davies, Leila Silva, Adenilso Simao (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
85. Formal methods, foundations and applications :
پدیدآورنده : Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
86. Formal methods: foundations and applications :
پدیدآورنده : Juliano Iyoda, Leonardo de Moura (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2013
87. Formal methods in databases and software engineering :
پدیدآورنده : V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
رده :
QA76
.
9
.
D3
V735
1993
88. Formal methods in outer space :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
89. Formal methods teaching :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
90. Formal modeling and analysis of timed systems :
پدیدآورنده : Joël Ouaknine, Frits W. Vaandrager (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2009eb
91. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
92. Formal modeling and analysis of timed systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
93. Formal modeling and analysis of timed systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
94. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
95. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
96. Formal modeling and analysis of timed systems
پدیدآورنده : Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb
97. Formal modeling and analysis of timed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
98. Formal modeling and analysis of timed systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
99. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
پدیدآورنده : Kim G. Larsen, Peter Niebert )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
رده :
QA
76
.
L28
Vol
.
2791